1. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010